VOLT 2014 Workshop Report
نویسندگان
چکیده
This report is a summary of the Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) held at the STAF 2014 conference. The workshop brought together researchers from model-driven engineering, in particular from model transformation language engineering and modelbased verification. The major aims of VOLT 2014 were to identify motivations, problems, and requirements for model transformation verification as well as to present different proposals supporting different kinds of model transformations and verification techniques.
منابع مشابه
Report on the Third Workshop on Verification of Model Transformations (VOLT 2014)
This report is a summary of the Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) held at the STAF 2014 conference. The workshop brought together researchers from model-driven engineering, in particular from model transformation language engineering and modelbased verification. The major aims of VOLT 2014 were to identify motivations, problems, and requirement...
متن کاملEffect of Participation in the “Principles of the Morning Report Case Presentation” Workshop on Clinical Faculty Members' Performance
Background: Morning reports are one the most popular clinical education in hospital setting. The first step to improve quality of this educational method is to know about current situation. The aim of this study was to study the effect of educational workshop on quality of morning report in Golestan University of Medical Sciences. Methods: In this interventional study, using census sampling 14...
متن کاملVerification of the CD2RDBMS Transformation Case in Flora-2
Model transformations play a key role in model-driven development. They are used to generate, refactor, synthesize, reverse engineer and simplify models among others. The accuracy of transformations will impact not only transformations themselves, but also the models, the first class entities of MDE. Verification of correctness properties ensures the quality of both transformations and models. ...
متن کاملThe Effects of On-the-job and Workshop Training Methods on Performance of Midwives in Report Writing
Background & aim: One of the most important professional duties of midwives is writing the reports, which considered as legal documents. Incomplete reports can resulted in misunderstanding and even lead to filing charges against midwives by the legal authorities. Therefore, this study aimed to investigate the effects of on-the-job training (OJT) and workshop training m...
متن کاملBig Data – Security with Privacy
This document provides a summary of the discussions on big data security and privacy at the NSF Workshop on this topic held at the University of Texas at Dallas on September 16 and 17, 2014. This document will continue to evolve over the next few months as we get feedback from the workshops participants and the final workshop report will be completed by February 2015. This document also include...
متن کامل